Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
941	PDF Document Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-11-04 18:02:49 Computing Arrays Software engineering Computer programming Data types Java Array data type Array data structure Java syntax Data structure Array programming Abstract data types
942	Verifying GPU Kernels by Test Amplification Alan Leung Manish Gupta Yuvraj Agarwal Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2012-04-19 14:28:46 Concurrent computing Computing Parallel computing Computer programming Thread block CUDA Thread Synchronization C dynamic memory allocation Monitor Data parallelism Normal distribution
943	Introduction to Correctness and Performance Tools for Parallel Programming John Mellor-Crummey Department of Computer Science Rice University Add to Reading List Source URL: hpctoolkit.org Language: English - Date: 2015-02-08 14:38:57 Computer programming Software Debugging Profilers Concurrency Debuggers Valgrind Lock Thread Programming tool Parallel computing Race condition
944	Q: A Functional Programming Language for Q: A Functional Programming Language Multimedia Applications Add to Reading List Source URL: lac.zkm.de Language: English - Date: 2005-06-24 21:08:18 Software engineering Computing Computer programming Functional languages Q SQR MIDI Functional programming Anonymous function Open Sound Control Futures and promises Pure
945	Packet Transactions: High-Level Programming for Line-Rate Switches Anirudh Sivaraman¶ , Alvin Cheung‡ , Mihai Budiu§ ∗, Changhoon Kim† , Mohammad Alizadeh¶ , Hari Balakrishnan¶ , George Varghese++ , Nick McKeow Add to Reading List Source URL: sandcat.cs.washington.edu Language: English - Date: 2016-07-18 13:48:56 Computing Computer networking Packet processing Transmission Control Protocol Forwarding plane Fair queuing Network processor P4 NetFlow Queuing delay Router Network switch
946	April 23, 2008 Bug in SpharmonicKit 2.7, S2kit 1.0 and SOFT 2.0: Error in malloc statement A user recently brought to our attention an error which occurs in the source file cospmls.c. A malloc statement in the function Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2008-04-23 10:20:05 Software engineering Computer programming Computing C++ Cross-platform software Procedural programming languages C Memory management Sizeof C dynamic memory allocation Foreach loop D
947	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
948	Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-21 03:21:54 Software engineering Type theory Computing Computer programming Data types Recursion Polymorphism Recursive data type Eval Type inference Type system ECL programming language
949	ZU064-05-FPR lwc˙paper 15 April 2016 Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Software engineering Computing Computer programming Scheduling Concurrency control Parallel computing Planning Concurrent Haskell Scheduler activations Software transactional memory Monitor Thread